Testing for Software Reliability
نویسنده
چکیده
Testing is the process of executing a program with the intention of finding design errors in a given environment. Testing can only prove the incorrectness of software but not its correctness. Some people have argued that testing is useless because what we want is the correctness of software instead of its incorrectness. This idea has led to the research of techniques for developing correct software and proving software correctness. It has been defined that a program is correct, if it meets its specification for all valid inputs. The reliability of a program is 1 if it is correct and 0 if it is incorrect, taken into account that a correct program will not be worn out.
منابع مشابه
Estimation of Software Reliability by Sequential Testing with Simulated Annealing of Mean Field Approximation
Various problems of combinatorial optimization and permutation can be solved with neural network optimization. The problem of estimating the software reliability can be solved with the optimization of failed components to its minimum value. Various solutions of the problem of estimating the software reliability have been given. These solutions are exact and heuristic, but all the exact approach...
متن کاملDesign, Testing, and Evaluation Techniques for Software Reliability Engineering
Software reliability is closely influenced by the creation, manifestation and impact of software faults. Consequently, software reliability can be improved by treating software faults properly, using techniques of fault tolerance, fault removal, and fault prediction. Fault tolerance techniques achieve the design for reliability, fault removal techniques achieve the testing for reliability, and ...
متن کاملScenario-Based Software Reliability Testing Profile for Autonomous Control System
Operational profile is often used in software reliability testing, but it is limited to non-obvious-operation software such as Autonomous Control System. After analyzing the autonomous control system and scenario technology, a scenario-based profile constructing method for software reliability testing is presented. Two levels of scenario-based profile in the paper are introduced: system level a...
متن کاملTesting Effort Dependent Delayed S-shaped Software Reliability Growth Model with Imperfect Debugging
In software development process, testing is one of the most important aspects and hence, software reliably is very important factor of software systems. In the last four decades many software reliability growth model based on non-homogeneous Poisson process (NHPP) have been developed which incorporates testing effort function. However, the previous models are quite helpful for software engineer...
متن کاملTeaching an Active-Participation University Course in Software Reliability and Testing
A large percentage of software development costs are spent on software reliability and testing. However, many practicing software engineers and graduate students in computer science have never taken a course in software reliability or software testing. A graduate-level software engineering course at North Carolina State University provides instruction in these topics to better prepare current a...
متن کاملA mathematical modeling framework for software reliability testing
Software reliability testing refers to various software testing activities that are driven to achieve a quantitative reliability goal given a priori or lead to a quantitative reliability assessment for the software under test. In this paper we develop a modeling framework for the software reliability testing process, comprising a simplifying model and a generalized model. In both models the sof...
متن کامل